Electronic Books

Model-Driven Testing

Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...

Models in Software Engineering

This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...

Modern Formal Methods and Applications

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...

Object-Oriented Information Systems

Ontologies for Agents: Theory and Experiences

On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...

Perspectives of Systems Informatics

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...

Petri Nets and Other Models of Concurrency - ICATPN 2006

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...

Programming Multi-Agent Systems (vol. # 3346)

This paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...

Rapid Integration of Software Engineering Techniques (vol. # 3475)

This paper reports on the experiences of integrating several Software Engineering techniques by the Rapid Prototyping group of ...

Rapid Integration of Software Engineering Techniques (vol. # 3943)

This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...

Real-Time Object Uniform Design Methodology with UML

The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...

Reasoning Web

This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...

Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Requirements Engineering

Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...

Requirements Engineering: Foundation for Software Quality

This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...

Reverse Engineering of Object Oriented Code

The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

Satellite Events at the MoDELS 2005 Conference

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...